Romero, A. G.; Ambrosio, A. M. & Souza, M. L. O. :2012:
Finite state-machine verification applied to hybrid systems
metadados (BibTeX ❘ Refer ❘ Como citar? ❘ XML ❘ xrefer ❘ oai_dc ❘ Capa)
<plutao.sid.inpe.br>
|
A expressão de busca foi <related:dpi.inpe.br/plutao/2012/11.28.13.56.40-0:en:title:2:verification applied machine systems:finite state machine verification applied hybrid systems:>.
1 referência similar encontrada (inclusive a original) buscando em 17 dentre 17 Arquivos. Data e hora local de busca: 30/04/2024 09:01. |
|
RomeroAmbrSouz:2012:FiStVe Romero, A. G.; Ambrosio, A. M. & Souza, M. L. O. :2012: Finite state-machine verification applied to hybrid systems
metadados (BibTeX ❘ Refer ❘ Como citar? ❘ XML ❘ xrefer ❘ oai_dc ❘ Capa) <plutao.sid.inpe.br> |